Attempts to Manufacture Scientific Discovery
نویسندگان
چکیده
منابع مشابه
Invariant Discovery via Failed Proof Attempts
We present a framework for automating the discovery of loop invariants based upon failed proof attempts. The discovery of suitable loop invariants is a bottle neck for automatic veriication of imperative programs. Using the proof planning framework we reconstruct standard heuristics for developing invariants. We relate these heuristics to the analysis of failed proof attempts allowing us to dis...
متن کاملA representation reducing approach to scientific discovery
Copyright (c)1999, American Association for Artificial Inteligence (www.aaai.org). All rights reserved. The proliferation of sensors and the ease of large dataset maintenance have given many scientists more data than can be analyzed by traditional means. Computers have long been used to help scientists calculate. Science, however, is more than calculating. Science at least also involves hypothe...
متن کاملResistance by scientists to scientific discovery.
In the study of the history and sociology of science, there has been a relative lack of attention to one of the interesting aspects of the social process of discovery-the resistance on the part of scientists themselves to scientific discovery. General and specialized histories of science and biographies and autobiographies of scientists, as well as intensive discussions of the processes by whic...
متن کاملSupporting scientific discovery processes in Discovery Net
The activity of e-Science involves making discoveries by analysing data to find new knowledge. Discoveries of value cannot be made by simply performing a pre-defined set of steps to produce a result. Rather, there is an original, creative aspect to the activity which by its nature cannot be automated. In addition to finding new knowledge, discovery therefore also concerns finding a process to f...
متن کاملDiscovery Informatics: AI Opportunities in Scientific Discovery
Artificial Intelligence researchers have long sought to understand and replicate processes of scientific discovery. This article discusses Discovery Informatics as an emerging area of research that builds on that tradition and applies principles of intelligent computing and information systems to understand, automate, improve, and innovate processes of scientific discovery.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1915
ISSN: 0028-0836,1476-4687
DOI: 10.1038/094512a0